surjective linear algebra